Antoine-François de Fourcroy

M. Jean-François DELMAS directeur de thèse

In this thesis, we study continuum tree-valued processes. First, we define anabstract framework for these processes, by constructing a metric on the space of locally com-pact, complete R-trees, endowed with a locally finite Borel measure. This topology, calledGromov-Hausdorff-Prokhorov topology, allows for the definition of tree-valued Markov pro-cesses. We then give a new const...

(Antoine de Saint-Exupéry, “L’Avion”, Ch. III)

Deadlock immunity is a property by which programs, once afflicted by a given deadlock, develop resistance against future occurrences of that and similar deadlocks. We describe a technique that enables programs to automatically gain such immunity without assistance from programmers or users. We implemented the technique for both Java and POSIX threads and evaluated it with several real systems, ...

Jules - Antoine Regnauld

Jules-Antoine Regnauld (1822-1895), French physician and pharmacist, who carried researches about mydriatic alkaloids (such as atropine), electrochemical phenomena, electromotive force, amalgams, properties of mixing in saline solutions, physiology, electrophysiology, fluorescence in live tissues, medical chemistry, anesthesia, and vision phenomena. Life and career Very little information is av...

19 April 2013 − − François

Assignment 3 François Séguin

Question 1 First, we have that λ − λ − 2 = (λ + 1)(λ − 2). Therefore, it is true that the eigenvalues of the corresponding adjacency matrix come in pairs of additive inverse. However, notice that ± √ −1 are eigenvalues, and therefore the associated matrix cannot be symmetric (there would only be real eigenvalues). We conclude that no undirected graph can have the above characteristic polynomial...